Wahlpflichtmodule aus Modulkatalog Computer Science

Module	LV Type	CP	LV	Dates	Examination
Advanced Internet Technology	Fach-/Modulprüfung	6	540946
Advanced Network Security	Fach-/Modulprüfung	6	544521
Advanced Network Security	Vorlesung/Übung		539225	Di 08:30-10:00 EA (1270\|109) (×14) Mi 10:30-12:00 H09 (1385\|220) (×14)
Algorithmische Lerntheorie	Fach-/Modulprüfung	6	541195
	Vorlesung		557996	Di 08:30-10:00 AH II (2350\|111) (×15) Mi 10:30-12:00 AH II (2350\|111) (×15)
	Übung		557997	Do 14:30-16:00 AH VI (2356\|051) (×15)
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	541304
Analyse von Algorithmen	Fach-/Modulprüfung	8	541405		Mi 11.02.2026 10:00-12:00 AH VI (2356\|051) Mo 09.03.2026 10:00-12:00
Analyse von Algorithmen	Vorlesung		560022	Mi 10:30-12:00 5055 (2356\|055) (×15) Fr 10:30-12:00 AH III (2350\|314.1) (×15)
Artificial Intelligence in Music	Fach-/Modulprüfung	6	574873		Do 19.02.2026 15:00-16:30 Do 19.03.2026 15:00-16:30
	Vorlesung		574871	Do 10:30-12:00 Extern (×15)
	Übung		574872	Do 12:15-13:30 Extern (×14)
Communication Systems Engineering	Fach-/Modulprüfung	6	540889		Mi 11.02.2026 14:30-16:00 AH IV (2354\|030) PPS H1 (2315\|101) Fr 27.03.2026 12:00-13:30 PPS H2 (2315\|001)
Communication Systems Engineering	Vorlesung/Übung		536469	Mo 14:30-16:00 AH VI (2356\|051) (×13) Mi 10:30-12:00 AH I (2350\|028) (×12) Do 12:30-14:00 AH I (2350\|028) (×14)
Computer Vision 2	Fach-/Modulprüfung	6	542831
Computer Vision 2	Fach-/Modulprüfung		542909
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	545464
Designing Interactive Systems I	Fach-/Modulprüfung	6	540526		Fr 13.02.2026 12:00-13:00 B037 (3011\|037) TEMP2 (1515\|002)
	Vorlesung/Übung		536803	Di 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×14) Mi 09:30-12:00 Großer B-IT Raum (2356\|053.2) (×14) Do 08:30-11:00 AH VI (2356\|051) (×1)
	Vorlesung/Übung		538143	Di 13:00-15:30 Extern (×12) Di 15:45-17:15 Extern (×13)
	Fach-/Modulprüfung		543490
Dynamical Processes on Networks	Fach-/Modulprüfung	6	542473
Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	541500
Erfüllbarkeitsüberprüfung	Vorlesung/Übung		537540	Mi 08:30-10:00 AH IV (2354\|030) (×15) Do 10:30-12:00 AH V (2356\|050) (×15) Fr 12:30-13:15 5056 (2356\|056) (×15)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	544594
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	543101		Mi 11.02.2026 12:00-13:30 Otto Fuchs-Hörsaal (H03) (1385\|003) Mo 09.03.2026 09:00-10:30 I (1010\|101)
	Vorlesung		539298	Fr 10:30-12:00 H06 (1385\|004) (×8)
	Übung		539299	Mo 12:30-14:00 5056 (2356\|056) (×13)
Geometrieverarbeitung	Fach-/Modulprüfung	6	545465
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	545132
Grundlagen der Computergraphik	Fach-/Modulprüfung	6	540547		Do 12.02.2026 17:30-19:30 Großer Hörsaal AM (1420\|210) Roter Hörsaal AM (Ro) (1420\|002) Do 26.03.2026 09:00-11:00 TEMP2 (1515\|002)
	Vorlesung		537937	Mo 16:30-18:00 AH V (2356\|050) (×15) Di 12:30-14:00 AH V (2356\|050) (×14)
	Übung		536553	Di 14:30-16:00 AH V (2356\|050) (×15)
High-Performance Computing	Fach-/Modulprüfung	6	540959
High-Performance Computing	Vorlesung/Übung		538578	Mo 12:30-14:00 H05 (1385\|105) (×15) Di 12:30-14:00 H05 (1385\|105) (×14)
High-performance Matrix Computations	Fach-/Modulprüfung	6	544969
High-performance Matrix Computations	Vorlesung/Übung		539790
Implementation of Databases	Fach-/Modulprüfung	6	542763
Industrial Network Security	Fach-/Modulprüfung	6	542866
	Vorlesung		539566	Di 10:30-12:00 AH III (2350\|314.1) (×12) Fr 10:30-12:00 AH II (2350\|111) (×15)
	Übung		540425	Fr 12:30-14:00 AH II (2350\|111) (×7)
Infinite Computations and Games	Fach-/Modulprüfung	6	541566
	Vorlesung		537617	Mo 10:30-12:00 5056 (2356\|056) (×14) Di 08:30-10:00 5054 (2356\|054) (×14)
	Übung		537387	Do 10:30-12:00 5056 (2356\|056) (×13)
Introduction to Algorithmic Differentiation	Fach-/Modulprüfung	6	544572		Mi 25.02.2026 12:00-14:00 Großer Hörsaal AM (1420\|210) H01 (1385\|101) Mo 23.03.2026 12:00-13:30 H01 (1385\|101)
Introduction to Algorithmic Differentiation	Vorlesung/Übung		536793	Di 10:30-12:00 AH IV (2354\|030) (×13) Mi 10:30-12:00 AH IV (2354\|030) (×15)
Introduction to Program Synthesis	Fach-/Modulprüfung	6	542311
iOS Application Development	Fach-/Modulprüfung	6	543587		Di 10.02.2026 09:00-10:00 B201 (3011\|201) H09 (1385\|220)
iOS Application Development	Vorlesung		537886	Mo 13:00-14:30 Extern (×14) Di 10:00-11:30 Extern (×14)
IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit	Fach-/Modulprüfung	6	542182
IT-Sicherheit 2 - Computer Security	Fach-/Modulprüfung	6	544967
Komplexitätstheorie	Fach-/Modulprüfung	6	541541
	Vorlesung		557994	Mi 08:30-10:00 AH III (2350\|314.1) (×15) Do 16:30-18:00 AH II (2350\|111) (×15)
	Übung		557995	Mi 14:30-16:00 AH II (2350\|111) (×15)
Künstliche Intelligenz	Fach-/Modulprüfung	6	540913		Fr 20.02.2026 09:00-11:00 Großer Hörsaal AM (1420\|210) H01 (1385\|101) H02 (1385\|102) Otto Fuchs-Hörsaal (H03) (1385\|003) Roter Hörsaal AM (Ro) (1420\|002) Mo 23.03.2026 09:00-11:00 Großer Hörsaal AM (1420\|210) H01 (1385\|101) H02 (1385\|102)
	Vorlesung/Übung		537195	Di 16:30-18:00 TEMP2 (1515\|002) (×15) Mi 16:30-18:00 TEMP2 (1515\|002) (×15) Do 14:30-16:00 TEMP2 (1515\|002) (×15)
	Fach-/Modulprüfung		542623
Logik und Spiele	Fach-/Modulprüfung	8	543270
Logik und Spiele	Fach-/Modulprüfung	8	543271
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	558736		Di 03.03.2026 09:00-10:30 HKW 2 (1132\|303) Do 02.04.2026 09:00-10:30 AH VI (2356\|051)
Machine Learning with Graphs: Foundations and Applications	Vorlesung/Übung		557902	Mo 08:30-10:00 H05 (1385\|105) (×15) Mi 12:30-14:00 IPC Hörsaal (2400\|U101) (×15) Fr 12:30-14:00 H05 (1385\|105) (×15)
Model Checking	Fach-/Modulprüfung	6	544576		Mo 09.02.2026 09:00-11:00 Großer Hörsaal AM (1420\|210) Grüner Hörsaal AM (Gr) (1420\|001) Di 10.03.2026 09:00-11:00 Großer Hörsaal AM (1420\|210)
	Vorlesung		537573	Mi 12:30-14:00 AH III (2350\|314.1) (×15) Do 10:30-12:00 AH I (2350\|028) (×15)
	Übung		536600	Fr 14:30-16:00 AH III (2350\|314.1) (×15)
Model-based Systems Engineering	Fach-/Modulprüfung	6	542359
Model-based Systems Engineering	Vorlesung/Übung		539145	Di 10:30-12:00 AH I (2350\|028) (×14) Mi 10:30-12:00 AH III (2350\|314.1) (×15) Do 12:30-14:00 AH II (2350\|111) (×15)
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	542149
Modellbasierte Softwareentwicklung	Fach-/Modulprüfung	6	545462
Modellbasierte Softwareentwicklung	Vorlesung/Übung		539696	Di 10:30-12:00 AH I (2350\|028) (×14) Mi 10:30-12:00 AH III (2350\|314.1) (×15) Do 12:30-14:00 AH II (2350\|111) (×15)
Objektorientierte Softwarekonstruktion	Fach-/Modulprüfung	6	540948
Optimization and Uncertainty	Fach-/Modulprüfung	6	575639
Parametrisierte Algorithmen	Fach-/Modulprüfung	8	544577
Physikalisch-Basierte Animation	Fach-/Modulprüfung	6	545487
	Vorlesung/Übung		536983	Mi 10:30-12:00 5056 (2356\|056) (×15) Fr 10:30-12:00 5056 (2356\|056) (×15)
	Fach-/Modulprüfung		544667
Post-quantum cryptography	Fach-/Modulprüfung	6	543244		Di 03.03.2026 14:00-15:30 P2 (3210\|120) ZuseLab S1 (2315\|203) Do 02.04.2026 11:30-13:00 ZuseLab C4 (2315\|201)
Post-quantum cryptography	Vorlesung/Übung		539191	Di 16:30-18:00 AH IV (2354\|030) (×15) Mi 16:30-18:00 AH I (2350\|028) (×15) Fr 14:30-16:00 AH I (2350\|028) (×15)
Probabilistic Programming	Fach-/Modulprüfung	4	541432		Mi 18.02.2026 12:00-14:00 AH IV (2354\|030) Mi 18.03.2026 09:00-11:00 HKW 2 (1132\|303)
	Vorlesung		558579	Mi 16:30-18:00 AH III (2350\|314.1) (×15) Do 08:30-10:00 AH I (2350\|028) (×15)
	Übung		558580	Fr 16:30-18:00 AH I (2350\|028) (×15)
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	545016		Mi 11.03.2026 09:00-11:00 Roter Hörsaal AM (Ro) (1420\|002)
Research Focus Class Industrial Applications for LLM-driven Agentic Systems	Fach-/Modulprüfung	6	574877
	Projekt		574876	Fr 10:00-11:30 Großer B-IT Raum (2356\|053.2) (×1)
Research Focus Class on Data Ecosystems	Fach-/Modulprüfung	6	543112
Social and Technological Change	Fach-/Modulprüfung	6	542393
Software-Qualitätssicherung	Fach-/Modulprüfung	6	544556
Statistische Methoden zur Verarbeitung natürlicher Sprache	Fach-/Modulprüfung	8	541292
Stochastic Processes and Dynamical Systems	Vorlesung		539799	Mo 10:30-12:45 423 (6074\|423) (×15)
Stochastic Processes and Dynamical Systems	Fach-/Modulprüfung	4	543997
The Logic of Knowledge Bases	Fach-/Modulprüfung	6	573563
The Logic of Knowledge Bases	Vorlesung/Übung		573562	Do 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×15) Do 14:30-16:00 Großer B-IT Raum (2356\|053.2) (×15) Fr 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×15)
Theory of Distributed Systems	Fach-/Modulprüfung	6	575640
Virtuelle Realität	Fach-/Modulprüfung	6	540938
	Vorlesung/Übung		536968	Di 10:30-12:00 AH VI (2356\|051) (×12) Do 12:30-14:00 AH VI (2356\|051) (×14)
	Fach-/Modulprüfung		543744
Web3 & Distributed Ledger Technology	Fach-/Modulprüfung	4	574990
Web3 & Distributed Ledger Technology	Vorlesung/Übung		540132	Mi 13:00-15:00 Großer B-IT Raum (2356\|053.2) (×15)